Performance Tuning in Answer Set Programming
نویسندگان
چکیده
Performance analysis and tuning are well established software engineering processes in the realm of imperative programming. This work is a step towards establishing the standards of performance analysis in the realm of answer set programming – a prominent constraint programming paradigm. We present and study the roles of human tuning and automatic configuration tools in this process. The case study takes place in the realm of a real-world answer set programming application that required several hundred lines of code. Experimental results suggest that human-tuning of the logic programming encoding and automatic tuning of the answer set solver are orthogonal (complementary) issues.
منابع مشابه
A Unified IMC based PI/PID Controller Tuning Approach for Time Delay Processes
This paper proposes a new PI/PID controller tuning method within filtered Smith predictor (FSP) configuration in order to deal with various types of time delay processes including stable, unstable and integrating delay dominant and slow dynamic processes. The proposed PI/PID controller is designed based on the IMC principle and is tuned using a new constraint and without requiring any approxima...
متن کاملDecentralized Advanced Model Predictive Controller of Fluidized-Bed for Polymerization Process
The control of fluidized-bed operations processes is still one of the major areas of research due to the complexity of the process and the inherent nonlinearity and varying dynamics involved in its operation. There are varieties of problems in chemical engineering that can be formulated as NonLinear Programming (NLPs). The quality of the developed solution significantly affects the performa...
متن کاملA Portfolio Solver for Answer Set Programming: Preliminary Report
We propose a portfolio-based solving approach to Answer Set Programming (ASP). Our approach is homogeneous in considering several configurations of the ASP solver clasp. The selection among the configurations is realized via Support Vector Regression. The resulting portfolio-based solver claspfolio regularly outperforms clasp’s default configuration as well as manual tuning.
متن کاملEfficient Parameter Importance Analysis via Ablation with Surrogates
To achieve peak performance, it is often necessary to adjust the parameters of a given algorithm to the class of problem instances to be solved; this is known to be the case for popular solvers for a broad range of AI problems, including AI planning, propositional satisfiability (SAT) and answer set programming (ASP). To avoid tedious and often highly sub-optimal manual tuning of such parameter...
متن کاملDesigning a glycemic control strategy to maintain glucose homeostasis and prevent hypoglycemia for subjects with type 1 diabetes
This paper presents using the fractional PImDn controller module which manipulates insulin infusion rate to maintain normoglycemia in subjects with type 1 diabetes. To prevent severe hypoglycemia, a conventional proportional controller is used to regulate glucagon infusion rate when the blood glucose levels fall below a threshold. Two sets of controller parameters are obtained and evaluated. Fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015